Theory of machine